$\forall$$w$:World, $e$:(Id$\times\mathbb{N}$). w{-}pred($w$;$e$) $\in$ E+Unit